Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
On acceleration of derivative-free univariate Lipschitz global optimization methods
2020-01-01 Kvasov, Dmitry; Mukhametzhanov, Marat; Nasso, MARIA CHIARA; Sergeev, Yaroslav
On the computation of disjunctive stable models
1996-01-01 Leone, Nicola; Rullo, P; Scarcello, Francesco
On Tractable Queries and Constraints
1999-01-01 Gottlob, G; Leone, Nicola; Scarcello, Francesco
Optimization Model for Water Distribution Network Planning in a Realistic Orographic Framework
2020-01-01 Maiolo, M.; Sousa, J.; Carini, M.; Chiaravalloti, F.; Bonora, M. A.; Capano, G.; Pantusa, D.
Optimizing answer set computation via heuristic-based decomposition
2018-01-01 Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica
Outlier Explanation Through Masking Models
2022-01-01 Angiulli, F.; Fassetti, F.; Nistico', S.; Palopoli, L.
Paradoxes of the Infinite and Ontological Dilemmas Between Ancient Philosophy and Modern Mathematical Solutions
2020-01-01 Caldarola, F.; Cortese, D.; D'Atri, G.; Maiolo, M.
Parallel Algorithms for Multifractal Analysis of River Networks
2019-01-01 Primavera, L.; Florio, E.
Performance Management of Demand and Pressure Drive Analysis in a Monitored Water Distribution Network
2020-01-01 Bonora, M. A.; Carini, M.; Capano, G.; Cotrona, R.; Pantusa, D.; Sousa, J.; Maiolo, M.
Pinpointing Axioms in Ontologies via ASP
2022-01-01 Penaloza, R.; Ricca, F.
Preface
2016-01-01 Adorni, G.; Cagnoni, S.; Gori, M.; Maratea, M.
Preface
2022-01-01 Gottlob, G.; Inclezan, D.; Maratea, M.
Preface (LNCS volume 11973)
2020-01-01 Sergeev, Y; Kvasov, D
Preface (LNCS volume 11974)
2020-01-01 Sergeev, Y; Kvasov, D
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures
2020-01-01 Manna, Marco; Pieris, Andreas
Rethinking Answer Set Programming Templates
2024-01-01 Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica
A Semi-automatic Data Generator for Query Answering
2022-01-01 Angiulli, Fabrizio; Del Prete, Alessandra; Fassetti, Fabio; Nistico', Simona
SigIL: A Signature-Based Approach of Malware Detection on Intermediate Language
2024-01-01 Fortino, Giancarlo; Greco, Claudia; Guzzo, Antonella; Ianni, Michele
Skipping the Storage Phase in Container Transshipment Operations
2018-01-01 Monaco, M. F.; Sammarra, M.
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
2022-01-01 Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On acceleration of derivative-free univariate Lipschitz global optimization methods | 1-gen-2020 | Kvasov, Dmitry; Mukhametzhanov, Marat; Nasso, MARIA CHIARA; Sergeev, Yaroslav | |
| On the computation of disjunctive stable models | 1-gen-1996 | Leone, Nicola; Rullo, P; Scarcello, Francesco | |
| On Tractable Queries and Constraints | 1-gen-1999 | Gottlob, G; Leone, Nicola; Scarcello, Francesco | |
| Optimization Model for Water Distribution Network Planning in a Realistic Orographic Framework | 1-gen-2020 | Maiolo, M.; Sousa, J.; Carini, M.; Chiaravalloti, F.; Bonora, M. A.; Capano, G.; Pantusa, D. | |
| Optimizing answer set computation via heuristic-based decomposition | 1-gen-2018 | Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica | |
| Outlier Explanation Through Masking Models | 1-gen-2022 | Angiulli, F.; Fassetti, F.; Nistico', S.; Palopoli, L. | |
| Paradoxes of the Infinite and Ontological Dilemmas Between Ancient Philosophy and Modern Mathematical Solutions | 1-gen-2020 | Caldarola, F.; Cortese, D.; D'Atri, G.; Maiolo, M. | |
| Parallel Algorithms for Multifractal Analysis of River Networks | 1-gen-2019 | Primavera, L.; Florio, E. | |
| Performance Management of Demand and Pressure Drive Analysis in a Monitored Water Distribution Network | 1-gen-2020 | Bonora, M. A.; Carini, M.; Capano, G.; Cotrona, R.; Pantusa, D.; Sousa, J.; Maiolo, M. | |
| Pinpointing Axioms in Ontologies via ASP | 1-gen-2022 | Penaloza, R.; Ricca, F. | |
| Preface | 1-gen-2016 | Adorni, G.; Cagnoni, S.; Gori, M.; Maratea, M. | |
| Preface | 1-gen-2022 | Gottlob, G.; Inclezan, D.; Maratea, M. | |
| Preface (LNCS volume 11973) | 1-gen-2020 | Sergeev, Y; Kvasov, D | |
| Preface (LNCS volume 11974) | 1-gen-2020 | Sergeev, Y; Kvasov, D | |
| Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures | 1-gen-2020 | Manna, Marco; Pieris, Andreas | |
| Rethinking Answer Set Programming Templates | 1-gen-2024 | Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica | |
| A Semi-automatic Data Generator for Query Answering | 1-gen-2022 | Angiulli, Fabrizio; Del Prete, Alessandra; Fassetti, Fabio; Nistico', Simona | |
| SigIL: A Signature-Based Approach of Malware Detection on Intermediate Language | 1-gen-2024 | Fortino, Giancarlo; Greco, Claudia; Guzzo, Antonella; Ianni, Michele | |
| Skipping the Storage Phase in Container Transshipment Operations | 1-gen-2018 | Monaco, M. F.; Sammarra, M. | |
| Smart Devices and Large Scale Reasoning via ASP: Tools and Applications | 1-gen-2022 | Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile